Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types
نویسنده
چکیده
We extend the linear π-calculus with composite regular types in such a way that data containing linear values can be shared among several processes, if there is no overlapping access to such values. We describe a type reconstruction algorithm for the extended type system and discuss some practical aspects of its implementation.
منابع مشابه
Type Reconstruction for the Linear π-Calculus with Composite Regular Types
We extend the linear π-calculus with composite regular types in such a way that data containing linear values can be shared among several processes, if there is no overlapping access to such values. We describe a type reconstruction algorithm for the extended type system and discuss some practical aspects of its implementation.
متن کاملA Linear Account of Session Types in the Pi Calculus
We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are guaranteed to occur in exactly one thread, possibly multiple times. We equip types with a constructor that denotes the two ends of a same communication channel. In order to assess the flexibility of the new type system, we prov...
متن کاملType Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
We generalize the linear π-calculus so that multiple processes can access the same composite, possibly recursive data structure containing linear values, provided that there is no overlapping access on such values. We define a complete type reconstruction algorithm for the type system. En passant, we solve the problem of reconstruction for equi-recursive session types.
متن کاملLinearity, session types and the Pi calculus
We present a reconstruction of session types in a conventional pi calculus. Our session types are qualified as linear or unrestricted. Linearly typed communication channels are guaranteed to occur in exactly one thread, possibly multiple times; afterwards they evolve to unrestricted channels. We equip types with a constructor that describes the two ends of a same communication channel, and prop...
متن کاملA New Modification of the Reconstruction of Variational Iteration Method for Solving Multi-order Fractional Differential Equations
Fractional calculus has been used to model the physical and engineering processes that have found to be best described by fractional differential equations. For that reason, we need a reliable and efficient technique for the solution of fractional differential equations. The aim of this paper is to present an analytical approximation solution for linear and nonlinear multi-order fractional diff...
متن کامل